Optimal. Leaf size=675 \[ \frac {e \left (\sqrt {a e^2+c d^2}+\sqrt {c} d\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}\right )}{4 \sqrt {2} a c^{3/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}-\frac {e \left (\sqrt {a e^2+c d^2}+\sqrt {c} d\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}\right )}{4 \sqrt {2} a c^{3/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}-\frac {e \left (d-\frac {\sqrt {a e^2+c d^2}}{\sqrt {c}}\right ) \log \left (-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {a e^2+c d^2}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {a e^2+c d^2} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}}+\frac {e \left (d-\frac {\sqrt {a e^2+c d^2}}{\sqrt {c}}\right ) \log \left (\sqrt {2} \sqrt [4]{c} \sqrt {d+e x} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {a e^2+c d^2}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {a e^2+c d^2} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}}+\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )} \]
________________________________________________________________________________________
Rubi [A] time = 1.02, antiderivative size = 675, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 7, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.368, Rules used = {737, 827, 1169, 634, 618, 206, 628} \begin {gather*} \frac {e \left (\sqrt {a e^2+c d^2}+\sqrt {c} d\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}\right )}{4 \sqrt {2} a c^{3/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}-\frac {e \left (\sqrt {a e^2+c d^2}+\sqrt {c} d\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}\right )}{4 \sqrt {2} a c^{3/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}-\frac {e \left (d-\frac {\sqrt {a e^2+c d^2}}{\sqrt {c}}\right ) \log \left (-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {a e^2+c d^2}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {a e^2+c d^2} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}}+\frac {e \left (d-\frac {\sqrt {a e^2+c d^2}}{\sqrt {c}}\right ) \log \left (\sqrt {2} \sqrt [4]{c} \sqrt {d+e x} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {a e^2+c d^2}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {a e^2+c d^2} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}}+\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 618
Rule 628
Rule 634
Rule 737
Rule 827
Rule 1169
Rubi steps
\begin {align*} \int \frac {\sqrt {d+e x}}{\left (a+c x^2\right )^2} \, dx &=\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )}-\frac {\int \frac {-d-\frac {e x}{2}}{\sqrt {d+e x} \left (a+c x^2\right )} \, dx}{2 a}\\ &=\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )}-\frac {\operatorname {Subst}\left (\int \frac {-\frac {d e}{2}-\frac {e x^2}{2}}{c d^2+a e^2-2 c d x^2+c x^4} \, dx,x,\sqrt {d+e x}\right )}{a}\\ &=\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )}-\frac {\operatorname {Subst}\left (\int \frac {-\frac {d e \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt {2} \sqrt [4]{c}}-\left (-\frac {d e}{2}+\frac {e \sqrt {c d^2+a e^2}}{2 \sqrt {c}}\right ) x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{2 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}-\frac {\operatorname {Subst}\left (\int \frac {-\frac {d e \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt {2} \sqrt [4]{c}}+\left (-\frac {d e}{2}+\frac {e \sqrt {c d^2+a e^2}}{2 \sqrt {c}}\right ) x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}+\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{2 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}\\ &=\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )}+\frac {\left (e \left (1+\frac {\sqrt {c} d}{\sqrt {c d^2+a e^2}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{8 a c}+\frac {\left (e \left (1+\frac {\sqrt {c} d}{\sqrt {c d^2+a e^2}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}+\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{8 a c}-\frac {\left (e \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right )\right ) \operatorname {Subst}\left (\int \frac {-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}+\frac {\left (e \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right )\right ) \operatorname {Subst}\left (\int \frac {\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}+\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}\\ &=\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )}-\frac {e \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right ) \log \left (\sqrt {c d^2+a e^2}-\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}+\frac {e \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right ) \log \left (\sqrt {c d^2+a e^2}+\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}-\frac {\left (e \left (1+\frac {\sqrt {c} d}{\sqrt {c d^2+a e^2}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{2 \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right )-x^2} \, dx,x,-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 \sqrt {d+e x}\right )}{4 a c}-\frac {\left (e \left (1+\frac {\sqrt {c} d}{\sqrt {c d^2+a e^2}}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{2 \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right )-x^2} \, dx,x,\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 \sqrt {d+e x}\right )}{4 a c}\\ &=\frac {x \sqrt {d+e x}}{2 a \left (a+c x^2\right )}+\frac {e \left (1+\frac {\sqrt {c} d}{\sqrt {c d^2+a e^2}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \left (\frac {\sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}-\sqrt {2} \sqrt {d+e x}\right )}{\sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}\right )}{4 \sqrt {2} a c^{3/4} \sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}-\frac {e \left (1+\frac {\sqrt {c} d}{\sqrt {c d^2+a e^2}}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \left (\frac {\sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+\sqrt {2} \sqrt {d+e x}\right )}{\sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}\right )}{4 \sqrt {2} a c^{3/4} \sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}-\frac {e \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right ) \log \left (\sqrt {c d^2+a e^2}-\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}+\frac {e \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right ) \log \left (\sqrt {c d^2+a e^2}+\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{8 \sqrt {2} a \sqrt [4]{c} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.52, size = 265, normalized size = 0.39 \begin {gather*} \frac {-\frac {\sqrt {\sqrt {c} d-\sqrt {-a} e} \left (2 \sqrt {-a} c d^2-a \sqrt {c} d e+\sqrt {-a} a e^2\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {-a} e}}\right )}{2 a c^{3/4}}+\frac {\sqrt {\sqrt {-a} e+\sqrt {c} d} \left (2 \sqrt {-a} c d^2+a \sqrt {c} d e+\sqrt {-a} a e^2\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {-a} e+\sqrt {c} d}}\right )}{2 a c^{3/4}}+\frac {x \sqrt {d+e x} \left (a e^2+c d^2\right )}{a+c x^2}}{2 a \left (a e^2+c d^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [C] time = 0.56, size = 294, normalized size = 0.44 \begin {gather*} \frac {i \left (2 \sqrt {c} d+i \sqrt {a} e\right ) \tan ^{-1}\left (\frac {\sqrt {d+e x} \sqrt {-c d-i \sqrt {a} \sqrt {c} e}}{\sqrt {c} d+i \sqrt {a} e}\right )}{4 a^{3/2} \sqrt {c} \sqrt {-i \sqrt {c} \left (\sqrt {a} e-i \sqrt {c} d\right )}}-\frac {i \left (2 \sqrt {c} d-i \sqrt {a} e\right ) \tan ^{-1}\left (\frac {\sqrt {d+e x} \sqrt {-c d+i \sqrt {a} \sqrt {c} e}}{\sqrt {c} d-i \sqrt {a} e}\right )}{4 a^{3/2} \sqrt {c} \sqrt {i \sqrt {c} \left (\sqrt {a} e+i \sqrt {c} d\right )}}+\frac {e^2 x \sqrt {d+e x}}{2 a \left (a e^2+c d^2-2 c d (d+e x)+c (d+e x)^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.43, size = 1371, normalized size = 2.03
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.49, size = 332, normalized size = 0.49 \begin {gather*} -\frac {{\left (2 \, a c d^{2} {\left | c \right |} - \sqrt {-a c} d {\left | a \right |} {\left | c \right |} e + a^{2} {\left | c \right |} e^{2}\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-\frac {a c d + \sqrt {a^{2} c^{2} d^{2} - {\left (a c d^{2} + a^{2} e^{2}\right )} a c}}{a c}}}\right )}{4 \, {\left (a^{2} c e - \sqrt {-a c} a c d\right )} \sqrt {-c^{2} d + \sqrt {-a c} c e} {\left | a \right |}} - \frac {{\left (2 \, a c d^{2} {\left | c \right |} + \sqrt {-a c} d {\left | a \right |} {\left | c \right |} e + a^{2} {\left | c \right |} e^{2}\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-\frac {a c d - \sqrt {a^{2} c^{2} d^{2} - {\left (a c d^{2} + a^{2} e^{2}\right )} a c}}{a c}}}\right )}{4 \, {\left (a^{2} c e + \sqrt {-a c} a c d\right )} \sqrt {-c^{2} d - \sqrt {-a c} c e} {\left | a \right |}} + \frac {{\left (x e + d\right )}^{\frac {3}{2}} e - \sqrt {x e + d} d e}{2 \, {\left ({\left (x e + d\right )}^{2} c - 2 \, {\left (x e + d\right )} c d + c d^{2} + a e^{2}\right )} a} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F(-2)] time = 180.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {e x +d}}{\left (c \,x^{2}+a \right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {e x + d}}{{\left (c x^{2} + a\right )}^{2}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.17, size = 2380, normalized size = 3.53
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________